Поиск в словарях
Искать во всех

Современная западная философия - фреге (frege) готлоб

 

Фреге (frege) готлоб

фреге (frege) готлоб
(1848-1925) нем. логик, математик и философ. В 1879-1918 проф. ун-та в Йене. Труды Ф. открыли новый этап в развитии логики, оказали большое влияние на разработку философских проблем математики и были одним из отправных пунктов в развитии аналитической философии. Ф. положил начало теории математического доказательства, он впервые осуществил дедуктивно-аксиоматическое построение логики первого порядка с помощью формализованного языка. Целый ряд его идей и понятий вошли в язык современной логики: он ввел понятия истинностного значения, логической функции и различение свойств и отношений как соответственно одноместных и многоместных функций, дал определения отношений принадлежности элемента классу и включения класса в класс, впервые стал систематически использовать кванторы. Он является основоположником той части логической семантики, в которой исследуются связь значения и смысла языковых выражений и отношение обозначения. Исходя из идеи об универсальном характере предметной области в логике, Ф. предложил систему формальной арифметики на основе разработанного им расширенного исчисления предикатов с целью обоснования сводимости математики к логике. Во многом именно с этой его работой связано развитие особого направления исследований по основаниям математики, получившего название логицизма. Противоречивость системы Ф. была обнаружена Расселом. Дальнейшая разработка наследия Ф., связанная, в частности, с преодолением этого противоречия, привела к созданию теории типов. Заслугой Ф. является также широкое использование принципа абстракции и подробный анализ отношений между предметами, свойствами и отношениями. Он подвергал резкой критике психологизм и эмпиризм в области логики и оснований математики, отстаивал тезис об объективности общего в области логики и философии.

Шрифт понятий // Методы логических исследований. Тбилиси, 1987; Мысль: логическое исследование // Философия, логика, язык. М., 1987; Grundlagen der Arithmetik. Breslau, 1884; Grundgesetze der Arithmetik. Bde. 1-2. Jena, 1893-1903.

Рейтинг статьи:
Комментарии:

См. в других словарях

1.
  (род. 8 нояб. 1848, Висмар ум. 26 июля 1925, Йена) нем. философ, логик и математик, с 1879 профессор математики в Йене. Создал наряду с Д. Булем основы логистики; продолжив ход мысли Больцано, Фреге рассматривал понятие как функцию от одной или многих переменных. Функциям (понятиям) он противопоставляет "предметы", которые являются для этих функций истинными или ложными ценностями. Логике понятий Фреге предпочитает логику предложений благодаря логическиструктурной простоте последней. Отчасти примыкал к Фреге Б. Рассел. Фреге дал первую аксиоматику логики высказываний и предикатов, построил первую систему формализованной арифметики; он явился одним из основоположников логической семантики. Осн. произв.: "Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens", 1879; "Die Grundlagen der Arithmetik", 1884; "Grundgesetze der Arithmetik", 2 Bde., 1893. ...
Философский энциклопедический словарь

Вопрос-ответ:

Похожие слова

Ссылка для сайта или блога:
Ссылка для форума (bb-код):

Самые популярные термины